onTAP Test Types Application Note Testing for the IEEEand IEEEJTAG / Boundary Scan Standard onTAP ATPG - Test-to-Print onTAP’s ATPG reads CAD netlists and BSDL files to generate test programs that veri

Source URL: www.flynn.com

• Electronics
• Boundary scan
• Joint Test Action Group
• Automatic test pattern generation
• Berkeley Software Distribution
• NetApp
• Netlist
• Boundary scan description language
• Electronics manufacturing
• Electronic engineering
• Manufacturing

Journal of Artificial Intelligence Research314 Submitted 09/02; publishedCompiling Causal Theories to Successor State Axioms and STRIPS-Like Systems

Source URL: www.cs.ust.hk

• Logic programming
• Automated planning and scheduling
• Situation calculus
• Functions and mappings
• Action description language
• STRIPS
• Function
• FO
• First-order logic
• Mathematics
• Mathematical logic
• Abstract algebra

PDF Document

Source URL: adl.opengroup.org

• Assertion definition language
• Software testing
• Action description language
• Anti-Defamation League
• Assertion
• Software architecture
• ADL
• Test Data Generation
• C
• Software engineering
• Computing
• Computer programming

An Action Description Language for Iterated Belief Change Aaron Hunter and James P. Delgrande Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca

Source URL: www.cs.sfu.ca

Belief Revision with Sensing and Fallible Actions James P. Delgrande Hector J. Levesque School of Computing Science

Source URL: www.cs.sfu.ca

• Formal languages
• Mathematical logic
• Interpretation
• Philosophy of language
• Philosophy of mind
• Semantics
• Action description language
• Function
• Mathematics
• Logic
• Model theory

11 PLANNING In which we see how an agent can take advantage of the structure of a problem to construct complex plans of action.

Source URL: aima.cs.berkeley.edu

• Action description language
• Epistemology
• Knowledge representation
• STRIPS
• Planning Domain Definition Language
• Frame problem
• Artificial intelligence
• Automated planning and scheduling
• Logic programming

An Action Language for Reasoning about Beliefs in Multi-Agent Domains Chitta Baral and Gregory Gelfond Enrico Pontelli and Tran Cao Son Ira A. Fulton School of Engineering

Source URL: www.public.asu.edu

• Action description language
• Interpretation
• Entailment
• Model theory
• Parity of a permutation
• Logic
• Metalogic
• Symbol

Modeling Multi-Agent Domains in an Action Languages: an Empirical Study Using C Tran Cao Son and Enrico Pontelli Dept. Computer Science New Mexico State University tson | epontell @cs.nmsu.edu

Source URL: www.public.asu.edu

• Science
• Multi-agent systems
• Epistemology
• Frame problem
• Knowledge representation
• Agent-based model
• Stable model semantics
• Function
• Action description language
• Artificial intelligence
• Logic programming
• Mathematics

Reasoning about Multi-agent Domains Using Action Language C: A Preliminary Study Chitta Baral1 , Tran Cao Son2 , and Enrico Pontelli2 1 Dept. Computer Science & Engineering, Arizona State University

Source URL: www.public.asu.edu

• Computing
• Automated planning and scheduling
• Logic programming
• Frame problem
• Agent-based model
• Action description language
• Action language
• Action theory
• Norm
• Multi-agent systems
• Artificial intelligence
• Science

Artificial Intelligence[removed]–91 Formalizing sensing actions— A transition function based approach Tran Cao Son a,∗ , Chitta Baral b a Knowledge Systems Laboratory, Computer Science Department,

Source URL: centria.di.fct.unl.pt

• Logic programming
• Situation calculus
• Logic in computer science
• Action description language
• Function
• Fluent
• Proposition
• Truth
• Logic
• Mathematics
• Philosophy